The Varieties of Loops of Bol-Moufang Type

نویسندگان

  • J. D. Phillips
  • Petr Vojtěchovský
چکیده

A loop identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, and the order in which the variables appear on both sides is the same, viz. ((xy)x)z = x(y(xz)). Loop varieties defined by one identity of Bol-Moufang type include groups, Bol loops, Moufang loops and C-loops. We show that there are exactly 14 such varieties, and determine all inclusions between them, providing all necessary counterexamples, too. This extends and completes the programme of Fenyves [5].

منابع مشابه

The Varieties of Quasigroups of Bol-moufang Type: an Equational Reasoning Approach

A quasigroup identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, the order in which the variables appear on both sides is the same, and the only binary operation used is the multiplication, viz. ((xy)x)z = x(y(xz)). Many well-known varieties of quasigroups are of Bol-Moufang type. We show that there are exactly 26 ...

متن کامل

On the Universality of Some Smarandache Loops of Bol-moufang Type

A Smarandache quasigroup(loop) is shown to be universal if all its f, g-principal isotopes are Smarandache f, g-principal isotopes. Also, weak Smarandache loops of Bol-Moufang type such as Smarandache: left(right) Bol, Moufang and extra loops are shown to be universal if all their f, g-principal isotopes are Smarandache f, gprincipal isotopes. Conversely, it is shown that if these weak Smaranda...

متن کامل

A Scoop from Groups: Equational Foundations for Loops

Groups are usually axiomatized as algebras with an associative binary operation, a two-sided neutral element, and with two-sided inverses. We show in this note that the same simplicity of axioms can be achieved for some of the most important varieties of loops. In particular, we investigate loops of Bol-Moufang type in the underlying variety of magmas with two-sided inverses, and obtain “group-...

متن کامل

Loops of Bol-Moufang type with a subgroup of index two

We describe all constructions for loops of Bol-Moufang type analogous to the Chein construction M(G, ∗, g0) for Moufang loops. Mathematics subject classification: 20N05.

متن کامل

Incidence Properties of Cosets in Loops

We study incidence properties among cosets of finite loops, with emphasis on well-structured varieties such as antiautomorphic loops and Bol loops. While cosets in groups are either disjoint or identical, we find that the incidence structure in general loops can be much richer. Every symmetric design, for example, can be realized as a canonical collection of cosets of a finite loop. We show tha...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

متن کامل
عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005